Encapsulation -- ML-KEM-512
ek: A5409718CB72F2438A3555A3C8F18F2671A1F81403DF7B5A4659A51F50827BA6577AA70800D78D8BC5AA86B89E08B58F3480A89E104DC6922EDBC12D06F891027C654E994A22F91A2AF63404CA98D7B67EEA25911B24C70DEB8146A0821F34A302551F2D510C0588C8BCA74EB4DC0CFA4603C1C5A3C5537061789068682C4CC3143FBA9BB5542F9778BDF23B3652F2A7524756FA73909DDAC7E532522659218CBA25F33B6B0458CB03DA7935BA59111955312B15CCE2C0F73466A8006283A2AA7CBB61022ABBC2D19F2920BC302472DC97C4A1788C9BD3BBEDC9122B827B279C074C80443141119F4B1629F62F10D4CE2BE3BB343816CAD16A1C87582F2B70E26635B08BB390C13398FCCDA7E9BB3D9B0B7803750C955C57A028A5D26C270316BB2B815C3B972BA6782DAB02F306821E61285BB072BF79781CABC386142A50C7AAAE66A947585BB0D8288DBCAF4B3B85BB7926987BAF7643AAB5FB02210580A0264352E69C6098989CFB87483395960A3A4F31BEFDA80B5F286ECFDAA555D4390AF6B55D313920929093449CD6729D00218E2D86570ADC0C4F6545FFB5632EFB3AAE2625A6982670FACE8D16126FA607E6D0A1FF616A46ECA642CC6AAC554DBBC43DFCF57F364C190CEA5776C1CEB58B7007505FD79C5F005A4BA218CF0693B058B510A4CA204324602F59BB8F2281C4D7B0BC8625E7881650F57C89E32CF4809144775C9073B673E39412A27C914321CCB6A7CF7C37C5BCBE7CA51BE0C928466A458EB778D6466A892A0ACBC09638784A27739C970CA58BC2595AD6BFA4E52EB438AC97C41623802248E110B074838F31A6E7503737704E7AE4AD91299572A8C13603500F3609B625B4E24CAE332B0D7A5BB47A038512A081BC27CDF0F2923CD3479F5307020B77F149584564060E5083CED55312B6A6A465A82B4577D63A4B49C80B07A9367E39778AF76FA8EC2CF528722856CE7813401A8383BDB7151B9B6D2DD6BFF55401D28AC612818C88C9287347B098A966EB9C0A2DB71F0A75555E1757D3AC4E3D802C8DC6A261521255186ABB98C2480301B8C6B31228B54461BC44EA3C2CF94B86C7A5B82C55167A7606CA9DC8253B7604E44A07F3ED55CD5B5E
m: 109A248FE8052F84271FF57BAC156B1BA6A509CDCDBCC96CCDB1CCB85CA49315

K: 4DDD304E274899BD82971856824B587130927952060121858F9ADEB96AB7F571
r: D93F0F5C16390B24AB38D288F511F0ECEB618C0E7F0BB9BD65E0321A5C4712A6
tHat: [[165, 2420, 2840, 1836, 1010, 2212, 1333, 2613, 456, 2303, 294, 2583, 1272, 49, 3039, 1447, 2374, 2645, 31, 2085, 1659, 1402, 1914, 138, 1792, 2269, 1419, 2732, 2182, 2539, 1288, 2299, 52, 2696, 158, 1233, 710, 745, 475, 732, 2054, 2335, 3074, 1623, 2382, 1193, 2338, 431, 1578, 847, 2564, 2444, 1751, 2027, 1514, 2322, 1051, 3186, 2829, 2078, 70, 2090, 1055, 2611, 1282, 501, 301, 197, 2053, 3208, 1980, 1258, 3252, 205, 1786, 52, 1473, 2620, 965, 1797, 2145, 2311, 2152, 710, 844, 332, 2623, 2491, 1205, 757, 2199, 3031, 3058, 867, 594, 2687, 1874, 1380, 1018, 2311, 2717, 3197, 741, 1315, 2342, 533, 2700, 603, 3059, 1715, 2052, 3253, 2563, 1949, 2613, 1435, 2321, 1361, 2865, 338, 716, 3086, 1271, 1635, 168, 1568, 643, 2730, 2940, 1563, 2562, 2994, 450, 2557, 41, 3010, 1072, 1826, 2012, 3145, 2209, 2247, 923, 3005, 2541, 300, 555, 1976, 3111, 121, 76, 1096, 305, 276, 2975, 356, 1577, 767, 1040, 3309, 811, 3006, 2100, 355, 458, 1709, 1820, 1416, 2863, 1794, 1762, 854, 2992, 2872, 400, 828, 3224, 3295, 2471, 3006, 2877, 185, 888, 1872, 1292, 1481, 87, 650, 677, 1741, 807, 352, 3003, 2066, 2908, 2419, 1579, 1930, 2861, 42, 1779, 2080, 286, 646, 91, 1835, 2495, 1927, 2844, 3130, 1158, 673, 1872, 2732, 1710, 2710, 2119, 1461, 2224, 653, 3213, 2811, 2891, 2131, 2491, 615, 2968, 2807, 886, 2724, 2997, 47, 1313, 2048, 1696, 1074, 1618, 2510, 2144, 2441, 2972, 2175, 840, 2387, 2710, 928, 335, 3043, 2301, 186, 2143, 1762, 2767, 2653, 1109, 925],
[1546, 2911, 349, 915, 544, 2313, 1171, 2500, 726, 2519, 256, 2274, 1581, 1400, 3082, 205, 1359, 1110, 1535, 1595, 2862, 943, 1710, 594, 2214, 617, 2672, 3311, 1677, 289, 1647, 122, 230, 2589, 511, 1702, 3142, 2670, 3138, 1708, 1452, 1237, 1211, 988, 1532, 2047, 3126, 404, 2572, 1406, 374, 3308, 2997, 1800, 7, 1525, 3287, 1529, 2560, 1205, 2210, 3313, 774, 2825, 1368, 267, 2724, 524, 1091, 1538, 2351, 2997, 655, 2066, 1988, 2829, 1724, 600, 2279, 360, 1360, 1999, 905, 718, 244, 2328, 1860, 1479, 912, 2919, 883, 2382, 530, 1994, 913, 532, 1740, 2683, 3279, 887, 3269, 3051, 1404, 442, 2528, 652, 2630, 1110, 1934, 1931, 1750, 1700, 2697, 162, 203, 2412, 2104, 1191, 807, 2503, 3223, 2640, 651, 1436, 1626, 3069, 1444, 750, 2228, 2755, 1175, 364, 35, 552, 328, 270, 1200, 2103, 399, 2659, 231, 885, 55, 1255, 1146, 2782, 2449, 2386, 2162, 3098, 822, 1280, 1551, 147, 1462, 2882, 3298, 2788, 2867, 210, 2938, 2885, 890, 2128, 18, 2074, 1980, 3282, 752, 2351, 828, 1149, 927, 117, 2818, 1904, 2545, 1412, 1093, 102, 14, 2101, 1486, 1341, 1554, 2667, 1444, 2694, 1323, 1908, 2774, 1203, 2121, 188, 2311, 874, 2430, 1907, 1930, 1791, 3240, 718, 2293, 1826, 1576, 3301, 888, 1025, 794, 2104, 1981, 347, 2843, 1753, 1581, 3069, 1269, 21, 2770, 3176, 274, 2248, 2440, 652, 1907, 2820, 2456, 1642, 3307, 169, 1837, 507, 1290, 1367, 1886, 1393, 3283, 1258, 61, 712, 1677, 2604, 609, 293, 2133, 1697, 2235, 3113, 840, 16, 1720, 2876, 2066, 2898, 324, 3014]]

bHat = aHat^T: [[[3168, 3188, 3062, 1132, 108, 2666, 3029, 1599, 507, 3166, 2406, 2585, 37, 2415, 1386, 25, 959, 2147, 1383, 3278, 683, 1054, 2230, 2766, 2314, 2519, 561, 3279, 2896, 487, 1783, 863, 1614, 2452, 829, 2499, 1590, 2885, 789, 316, 1769, 574, 1646, 540, 674, 2867, 2914, 3209, 361, 51, 3098, 2013, 3200, 942, 3179, 2862, 1119, 1122, 1797, 2223, 2597, 2122, 2572, 2138, 1966, 2500, 3270, 891, 1876, 2437, 2629, 1616, 41, 2058, 1054, 1545, 757, 1962, 1818, 2937, 825, 2705, 466, 2824, 1660, 331, 82, 2240, 2568, 1589, 1858, 1407, 2784, 1015, 2616, 2349, 690, 1988, 2528, 1832, 989, 1959, 446, 1593, 1246, 2648, 1616, 2206, 2007, 2371, 2827, 2930, 2403, 1045, 1896, 175, 24, 2046, 1072, 797, 1169, 1119, 2787, 349, 2736, 2002, 2066, 2431, 1344, 2496, 1125, 3195, 2685, 3036, 1036, 1516, 825, 2956, 1746, 1447, 1426, 2442, 1389, 1812, 2052, 1402, 1113, 2637, 531, 2004, 1146, 3243, 132, 3089, 1283, 908, 2812, 2253, 2537, 1909, 1017, 1705, 3227, 1163, 2574, 2166, 3244, 1812, 2087, 3037, 3298, 489, 221, 2927, 1370, 1305, 2338, 1158, 945, 2619, 595, 1229, 423, 1971, 1664, 1565, 669, 2658, 848, 657, 631, 2314, 2768, 3193, 1855, 2042, 2704, 2438, 776, 1597, 2565, 1917, 961, 1584, 3201, 2285, 231, 989, 2946, 1792, 3156, 224, 1483, 2249, 116, 2272, 926, 2505, 428, 106, 1806, 173, 3113, 2337, 2885, 1255, 677, 785, 2010, 1898, 1970, 744, 490, 2718, 3158, 1388, 1822, 2541, 1595, 171, 1835, 2104, 1636, 1308, 458, 708, 410, 2025, 2854, 2630, 657, 1906, 2612, 1548, 1285, 2985],
[2187, 2809, 281, 1086, 1360, 711, 2799, 2132, 1448, 914, 1940, 2572, 623, 1180, 2183, 2741, 2595, 1022, 908, 893, 1752, 3285, 2013, 2536, 2996, 2211, 948, 330, 1830, 2894, 1862, 3010, 1941, 1152, 2089, 425, 925, 3041, 2780, 12, 2052, 1880, 2438, 1003, 540, 2464, 3313, 1791, 1080, 2187, 373, 830, 2382, 2167, 3242, 868, 2239, 825, 2591, 577, 1956, 2541, 1666, 3175, 3237, 3294, 803, 1654, 4, 2142, 804, 1030, 2469, 3106, 2674, 1241, 2770, 1947, 587, 839, 2135, 1409, 583, 11, 423, 2898, 2065, 2559, 2037, 2465, 3139, 918, 348, 571, 1605, 3114, 1457, 321, 364, 2883, 608, 2389, 966, 504, 2656, 2214, 2447, 850, 2028, 3182, 2321, 341, 1618, 1636, 558, 530, 1971, 1119, 2794, 591, 3323, 1004, 540, 46, 1901, 1272, 88, 463, 1969, 3173, 339, 561, 550, 1136, 1709, 1277, 2686, 2038, 478, 2874, 2435, 1733, 2164, 2182, 2979, 852, 12, 3235, 2603, 1357, 1687, 438, 272, 1349, 1036, 429, 1408, 1422, 608, 1369, 2870, 1167, 434, 1669, 2656, 974, 1555, 430, 640, 238, 1626, 76, 454, 2897, 1009, 2852, 1176, 1861, 206, 2633, 1301, 3141, 556, 3305, 1897, 808, 2044, 2623, 2863, 173, 336, 400, 970, 3214, 2334, 1544, 1594, 2119, 870, 3166, 1047, 2902, 958, 198, 2697, 1357, 1468, 568, 2975, 2777, 3228, 3115, 12, 2378, 820, 2341, 645, 31, 1373, 2581, 175, 1393, 2148, 1199, 1866, 2720, 2706, 2886, 24, 845, 3327, 2259, 3315, 2380, 2455, 2167, 1450, 2326, 221, 2727, 1293, 1541, 1152, 2420, 2015, 2573, 3109, 1298, 777, 2173, 1094, 994, 2095, 2504, 2729, 1062]],
[[1357, 636, 1559, 1810, 938, 644, 229, 103, 89, 381, 547, 1750, 1336, 1791, 32, 850, 1642, 3065, 2026, 749, 1380, 924, 2593, 2078, 1428, 2606, 2705, 2884, 866, 965, 515, 3196, 1999, 501, 3092, 790, 2427, 3080, 1155, 2250, 1382, 1619, 1826, 2660, 734, 3268, 984, 617, 2085, 1164, 3016, 198, 482, 2666, 961, 1377, 2830, 3234, 2228, 514, 459, 2799, 2507, 2383, 2515, 1917, 2617, 410, 966, 1685, 3251, 2135, 2910, 310, 999, 1428, 2153, 1082, 157, 336, 398, 2706, 2102, 643, 2493, 1464, 1569, 2378, 1221, 2471, 174, 2576, 721, 2689, 614, 303, 223, 710, 2205, 724, 1091, 2823, 576, 1710, 1972, 1524, 89, 1509, 1520, 2865, 2165, 1541, 1303, 1047, 1128, 1920, 3317, 2991, 2163, 1650, 1932, 2030, 2433, 3115, 376, 556, 1817, 839, 2698, 2316, 822, 1934, 50, 1299, 2961, 3240, 2212, 691, 148, 3239, 698, 321, 3154, 1743, 2713, 64, 2915, 444, 723, 2208, 645, 474, 1985, 2558, 2888, 1379, 53, 1675, 410, 1671, 2221, 1496, 2614, 1098, 4, 3325, 2043, 2059, 2991, 2307, 2704, 1422, 88, 682, 897, 478, 1576, 2699, 658, 2050, 2189, 364, 149, 2210, 3245, 2546, 1965, 2084, 901, 1083, 2854, 3265, 1808, 260, 1680, 2862, 3296, 1011, 2302, 1512, 688, 1287, 2895, 604, 2252, 3083, 2024, 938, 718, 1790, 2428, 294, 428, 2817, 209, 340, 1227, 3287, 2732, 2282, 2064, 1087, 1694, 3095, 1564, 1239, 2204, 2483, 1421, 1358, 1880, 1268, 434, 1552, 565, 20, 893, 2896, 1756, 2499, 2204, 574, 1211, 2151, 1210, 299, 960, 2134, 2990, 930, 2171, 2848, 1297, 3271, 1241, 2550],
[327, 2990, 1094, 2515, 2012, 2050, 1995, 1283, 486, 625, 2883, 245, 3038, 2509, 383, 524, 1019, 1128, 564, 314, 75, 3314, 425, 2395, 824, 31, 652, 2056, 587, 2799, 1466, 2818, 2306, 2785, 3113, 3246, 738, 382, 3306, 1503, 616, 184, 3142, 3259, 1168, 335, 1831, 1243, 1052, 9, 100, 2557, 1609, 20, 3229, 1640, 2221, 2405, 629, 508, 216, 2961, 2631, 1270, 2931, 1574, 2751, 2361, 2026, 1541, 210, 1043, 2443, 1143, 1923, 2032, 2688, 3139, 884, 1725, 644, 200, 2440, 565, 868, 1261, 2603, 2003, 484, 349, 1083, 1599, 1042, 2402, 508, 123, 1624, 352, 1537, 10, 1323, 1047, 1898, 1050, 2852, 2851, 1079, 275, 602, 931, 1956, 3212, 119, 1771, 2944, 2631, 3044, 1561, 725, 3244, 3282, 3236, 2764, 3121, 2703, 209, 3152, 120, 1035, 2101, 2675, 1320, 724, 2295, 1034, 504, 398, 3117, 13, 955, 1287, 2680, 2963, 2382, 415, 2417, 3284, 2099, 1668, 926, 3039, 2604, 1481, 438, 2263, 896, 1430, 1101, 494, 332, 3042, 2114, 2219, 1788, 1194, 2630, 589, 455, 2802, 1218, 2933, 865, 2761, 1921, 1625, 1521, 1448, 978, 514, 3153, 2354, 11, 3165, 3203, 12, 1042, 2122, 493, 1980, 1363, 947, 205, 672, 1565, 247, 918, 2205, 2249, 2083, 665, 672, 1724, 3326, 178, 341, 683, 1306, 2359, 2343, 578, 1846, 1704, 1676, 1248, 750, 3062, 712, 2959, 2430, 3004, 2082, 945, 548, 8, 3003, 3020, 2994, 1248, 2782, 2460, 1158, 3313, 2543, 1244, 721, 1804, 537, 924, 1560, 915, 1428, 1599, 490, 1916, 2237, 2342, 3031, 2823, 2350, 1063, 2087, 1721, 1099, 2391, 1478, 674]]]

r: [[0, 2, 3328, 3328, 3327, 0, 0, 1, 3328, 0, 3328, 3328, 1, 2, 3328, 1, 3328, 0, 0, 0, 0, 1, 3, 0, 2, 2, 0, 0, 0, 0, 3327, 0, 3328, 2, 1, 0, 0, 0, 2, 0, 1, 0, 3328, 3327, 0, 3328, 1, 0, 1, 1, 3327, 0, 1, 1, 3327, 0, 0, 1, 1, 3328, 3327, 3328, 0, 0, 0, 0, 3328, 0, 0, 3327, 0, 0, 1, 0, 1, 3328, 3328, 2, 1, 1, 3328, 2, 3328, 1, 3328, 0, 0, 1, 0, 2, 0, 1, 2, 3328, 3328, 1, 1, 1, 1, 2, 3327, 1, 1, 1, 0, 3328, 0, 1, 2, 3328, 3328, 3328, 1, 1, 0, 3328, 1, 3328, 0, 3328, 3327, 1, 1, 1, 1, 0, 3328, 0, 1, 3328, 3326, 3327, 0, 1, 0, 3, 0, 1, 3328, 3328, 3327, 2, 1, 3, 1, 3327, 0, 1, 3328, 2, 0, 3327, 0, 3328, 3327, 0, 2, 1, 3328, 1, 1, 0, 3328, 3328, 1, 3328, 0, 3328, 3328, 3328, 1, 3328, 1, 1, 1, 1, 1, 0, 3327, 3328, 0, 1, 0, 3328, 0, 0, 3328, 0, 1, 1, 0, 2, 1, 1, 3326, 3, 3328, 3328, 3328, 0, 1, 3327, 0, 3327, 1, 0, 3328, 0, 0, 0, 3328, 2, 1, 1, 0, 0, 3328, 0, 0, 0, 3328, 0, 0, 1, 0, 2, 3327, 3328, 2, 2, 1, 3328, 1, 1, 0, 0, 3328, 1, 1, 1, 0, 3327, 3328, 3328, 3327, 3327, 0, 0, 3328, 1, 1, 3328, 2, 1, 0, 0],
[3328, 3328, 1, 1, 2, 3328, 3328, 1, 3327, 1, 3328, 3327, 3, 0, 0, 3328, 0, 0, 1, 0, 0, 3328, 1, 3328, 3328, 1, 3328, 3328, 3, 0, 3327, 1, 3328, 1, 2, 0, 3328, 3328, 0, 3328, 1, 3328, 3328, 2, 2, 1, 1, 1, 1, 0, 3328, 1, 3328, 3327, 0, 0, 3328, 1, 0, 3328, 0, 0, 3326, 0, 2, 0, 3328, 0, 0, 3327, 0, 1, 0, 2, 2, 1, 3328, 3327, 1, 3, 3328, 3327, 1, 1, 0, 1, 3328, 3327, 3327, 0, 1, 3, 3328, 0, 1, 3327, 0, 3328, 2, 0, 3328, 0, 2, 3327, 1, 3328, 1, 3328, 3328, 3328, 1, 1, 3327, 0, 3326, 3328, 2, 3327, 0, 3, 1, 0, 2, 2, 1, 0, 0, 0, 1, 3327, 1, 2, 2, 2, 3327, 1, 1, 3328, 0, 3328, 2, 1, 0, 1, 1, 1, 0, 0, 3328, 3328, 2, 0, 3328, 1, 0, 1, 1, 3327, 3328, 3327, 1, 3328, 3328, 3328, 2, 0, 0, 0, 0, 1, 0, 0, 0, 1, 3327, 3326, 3327, 0, 0, 1, 0, 1, 1, 0, 3326, 2, 0, 0, 0, 1, 3327, 1, 2, 1, 3327, 1, 0, 2, 1, 0, 3327, 0, 0, 3328, 3328, 1, 3327, 3327, 2, 0, 1, 3328, 3326, 3328, 3328, 0, 3328, 1, 3328, 0, 0, 3328, 1, 0, 3328, 1, 1, 0, 1, 1, 1, 1, 3328, 0, 3328, 0, 1, 0, 1, 1, 1, 3327, 1, 2, 0, 3328, 1, 0, 1, 2, 0, 0, 0, 1, 2, 3328]]

e1: [[3328, 0, 0, 1, 2, 0, 3328, 0, 3328, 0, 0, 2, 3328, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 3328, 3327, 3328, 2, 0, 0, 1, 0, 1, 0, 2, 1, 3328, 1, 3328, 0, 1, 2, 0, 1, 0, 0, 0, 3328, 3327, 0, 1, 3328, 3327, 0, 1, 1, 1, 3328, 0, 3328, 0, 1, 0, 3328, 3328, 3328, 0, 0, 0, 0, 0, 0, 3327, 1, 0, 3327, 0, 3328, 0, 0, 0, 3327, 3328, 3327, 1, 3328, 0, 3328, 0, 2, 2, 3328, 3328, 2, 1, 0, 0, 0, 1, 3327, 3327, 3328, 3327, 3328, 1, 3327, 0, 0, 0, 0, 1, 1, 3327, 0, 0, 1, 0, 0, 3328, 0, 0, 0, 1, 3328, 1, 3327, 0, 3328, 3328, 0, 2, 1, 3328, 0, 3328, 1, 3328, 3328, 3328, 1, 3328, 0, 0, 3328, 0, 0, 1, 2, 3327, 1, 1, 0, 3328, 2, 3328, 1, 1, 1, 0, 1, 0, 2, 0, 0, 2, 0, 1, 0, 0, 2, 3328, 0, 3327, 3328, 3328, 0, 2, 1, 3328, 1, 0, 3328, 0, 3328, 0, 1, 1, 3328, 3328, 3328, 1, 1, 3328, 3327, 0, 3328, 0, 0, 3328, 0, 1, 3328, 0, 1, 1, 3328, 3328, 3328, 1, 0, 2, 3327, 2, 3327, 1, 0, 1, 3328, 2, 3328, 3327, 1, 0, 0, 3328, 0, 3328, 1, 1, 0, 3328, 0, 1, 0, 2, 0, 3328, 3328, 2, 0, 0, 3328, 2, 3327, 0, 0, 0, 3328, 0, 1, 3328, 3328, 0, 0, 3328, 1, 0],
[1, 0, 0, 0, 0, 0, 1, 0, 0, 3327, 0, 0, 3328, 0, 3328, 3328, 1, 2, 1, 0, 0, 0, 0, 2, 3328, 1, 0, 1, 2, 3327, 2, 0, 3327, 0, 1, 1, 0, 2, 1, 0, 1, 2, 0, 2, 3328, 3328, 0, 1, 1, 0, 0, 0, 0, 3328, 0, 0, 1, 2, 0, 0, 2, 0, 3328, 3328, 1, 0, 1, 0, 2, 3328, 0, 0, 0, 0, 2, 3328, 1, 0, 0, 3328, 1, 2, 0, 0, 0, 0, 2, 3328, 0, 0, 3328, 3327, 1, 0, 3328, 3328, 1, 2, 0, 0, 0, 0, 1, 1, 3328, 1, 3328, 3328, 0, 3328, 2, 0, 3328, 0, 3328, 0, 1, 1, 0, 1, 3328, 0, 3327, 0, 0, 0, 1, 3328, 3328, 3327, 1, 0, 0, 0, 3328, 1, 3328, 1, 3328, 3328, 1, 3328, 0, 1, 1, 3328, 1, 3328, 0, 2, 1, 3328, 3328, 3327, 3328, 2, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 2, 0, 0, 3328, 1, 0, 1, 0, 3327, 0, 0, 1, 0, 1, 3327, 3328, 0, 0, 1, 3328, 0, 1, 1, 3328, 0, 0, 3328, 3327, 3328, 2, 0, 3328, 3328, 3328, 0, 0, 3328, 3327, 0, 1, 0, 0, 3328, 0, 0, 3328, 1, 0, 3328, 3328, 3328, 0, 2, 0, 0, 3328, 3327, 0, 0, 2, 3328, 1, 0, 3328, 3328, 3328, 3328, 3328, 1, 3328, 0, 0, 0, 0, 0, 3328, 1, 1, 3327, 0, 3328, 1, 3328, 1, 3327, 1, 1, 1, 0, 1]]

e2: [1, 1, 1, 3328, 0, 3328, 0, 1, 0, 0, 3328, 1, 3328, 1, 3328, 1, 3328, 3328, 3328, 1, 0, 0, 3327, 0, 0, 3328, 1, 2, 0, 0, 2, 1, 3328, 0, 1, 0, 3328, 3328, 0, 3328, 3327, 3328, 1, 1, 0, 3328, 3328, 0, 0, 3328, 3328, 1, 0, 3328, 0, 0, 3328, 0, 2, 0, 0, 1, 0, 2, 3328, 0, 3327, 0, 1, 1, 0, 1, 2, 1, 1, 1, 0, 0, 0, 1, 3327, 1, 0, 0, 3327, 0, 1, 0, 1, 0, 1, 3327, 3327, 2, 0, 0, 1, 1, 3328, 3328, 0, 3328, 3327, 0, 1, 3327, 2, 1, 1, 3328, 1, 2, 3328, 0, 3328, 3328, 1, 2, 3327, 3328, 1, 0, 3328, 3328, 0, 0, 2, 0, 0, 0, 1, 0, 3328, 3328, 0, 1, 3328, 3328, 1, 0, 2, 3328, 3327, 0, 3328, 3328, 3328, 1, 3328, 1, 0, 1, 0, 0, 1, 3327, 3327, 3328, 0, 0, 3328, 3327, 1, 3328, 3327, 2, 3328, 3327, 2, 1, 3328, 1, 0, 0, 0, 0, 1, 1, 3327, 0, 0, 0, 1, 0, 1, 1, 3328, 1, 3328, 3327, 1, 1, 2, 3328, 0, 3328, 1, 3328, 0, 3328, 0, 3328, 0, 0, 1, 0, 3328, 0, 1, 3327, 3328, 1, 0, 1, 1, 0, 3328, 3328, 3327, 3328, 3328, 0, 3328, 0, 3328, 0, 2, 3328, 0, 0, 3328, 0, 1, 0, 0, 0, 1, 3328, 0, 0, 0, 0, 0, 3328, 3328, 0, 0, 1, 0, 0, 0, 3328, 0, 0, 0, 0]
rHat: [[1859, 3002, 1459, 1664, 1376, 1748, 2271, 3230, 32, 2576, 2658, 234, 3252, 1763, 1324, 635, 2205, 1894, 953, 1375, 1659, 1649, 2944, 2869, 3176, 3103, 2306, 1553, 304, 2679, 735, 561, 3117, 2017, 527, 888, 1853, 2191, 290, 228, 1274, 992, 1359, 2416, 1481, 2617, 3153, 606, 1072, 333, 1630, 833, 3030, 303, 1331, 1900, 566, 2927, 2126, 1823, 443, 442, 2283, 2262, 2674, 2690, 1286, 2859, 1166, 1385, 3056, 2408, 2850, 1495, 456, 2051, 2040, 2554, 2907, 1943, 1514, 2826, 2020, 242, 3276, 2554, 3119, 961, 1246, 955, 1608, 2697, 2451, 2670, 624, 27, 2372, 2130, 2136, 1820, 2375, 2146, 900, 1655, 2891, 2826, 2141, 2689, 528, 2409, 3135, 1014, 32, 2279, 621, 1779, 92, 1908, 1162, 2040, 247, 2523, 1911, 2141, 2085, 2, 1687, 2853, 1528, 1671, 528, 3000, 3040, 2018, 916, 114, 3196, 2196, 1876, 2508, 834, 2437, 1645, 1148, 2659, 1543, 2292, 2399, 1537, 1178, 2860, 821, 1578, 3039, 232, 1732, 2079, 1299, 494, 569, 2828, 1488, 2407, 2593, 1112, 13, 1233, 2269, 3199, 1034, 877, 3029, 2671, 3055, 2567, 3092, 1890, 3208, 1855, 2280, 2708, 2264, 2801, 1973, 418, 2370, 1785, 783, 694, 1755, 854, 2507, 2007, 236, 3197, 1625, 1632, 2522, 1555, 2027, 2927, 2840, 196, 2435, 1109, 1797, 1761, 2465, 2047, 500, 3248, 2507, 264, 2913, 970, 1505, 1122, 92, 1797, 3092, 1663, 56, 2334, 1668, 2254, 1771, 1780, 336, 1603, 2375, 767, 1679, 1510, 960, 2645, 3091, 430, 162, 2121, 3036, 122, 77, 3026, 2312, 2055, 2452, 889, 317, 1522, 1817, 392, 961, 1157, 1355, 1763, 1747],
[1396, 1200, 448, 2954, 1293, 2927, 1975, 933, 146, 1434, 2041, 2095, 1823, 2620, 711, 3141, 3152, 634, 1182, 416, 2474, 3280, 373, 1316, 3262, 1169, 1558, 342, 3177, 2735, 1538, 2137, 2401, 612, 2490, 2924, 1880, 2579, 1096, 319, 2294, 733, 1086, 2039, 2071, 2171, 1240, 2471, 2139, 128, 2939, 3175, 1350, 1374, 514, 2979, 748, 952, 475, 736, 110, 2567, 2024, 2719, 1812, 1023, 461, 2623, 1349, 666, 1226, 1488, 1629, 1294, 2623, 915, 2983, 1747, 2993, 2606, 3025, 188, 10, 209, 442, 3283, 1173, 4, 1504, 863, 1856, 3033, 174, 2137, 196, 2844, 3298, 3089, 2877, 596, 200, 1804, 2530, 1811, 136, 2285, 311, 230, 3322, 545, 352, 845, 755, 2275, 862, 1616, 2317, 1392, 3128, 1985, 3134, 1629, 686, 966, 1910, 3087, 3254, 1306, 1292, 116, 837, 2114, 1743, 2539, 3135, 204, 701, 2656, 86, 3181, 2501, 76, 3004, 2133, 2417, 2131, 1991, 2393, 918, 1488, 3269, 3160, 706, 1302, 2173, 1038, 967, 1768, 492, 115, 3320, 2759, 529, 108, 665, 2759, 1220, 248, 2926, 752, 846, 2846, 1462, 1596, 2427, 751, 190, 1171, 2597, 2740, 455, 938, 2866, 625, 2233, 2336, 2325, 2919, 1381, 3180, 2262, 1224, 2516, 1913, 265, 2104, 1209, 1718, 1463, 775, 2554, 373, 2742, 1494, 2545, 3025, 2248, 624, 3239, 2439, 449, 532, 1068, 2300, 1901, 1495, 2063, 1745, 2759, 369, 1118, 380, 534, 1496, 1212, 2392, 2617, 2525, 600, 445, 989, 2228, 1947, 2183, 614, 1039, 3244, 1482, 1104, 2314, 2300, 1219, 3155, 1912, 1283, 3011, 2028, 2021, 2450, 1424, 397, 3255, 868, 726, 1577, 409]]

BHat * rHat: [[368, 1205, 1220, 520, 154, 1973, 2334, 175, 6, 1926, 228, 2816, 2562, 776, 1737, 1513, 278, 1914, 970, 553, 1784, 304, 2153, 2947, 1926, 2330, 2242, 3027, 397, 1160, 1904, 3038, 1905, 1497, 136, 1610, 49, 956, 1788, 3025, 871, 434, 1904, 1621, 2582, 1159, 1123, 140, 245, 947, 2166, 1148, 193, 1888, 3004, 2795, 18, 993, 2139, 2998, 691, 1431, 3146, 3156, 1242, 1383, 884, 913, 1753, 2866, 551, 2793, 1156, 2944, 573, 2610, 48, 1200, 1886, 2051, 2708, 1526, 2290, 273, 1678, 692, 3273, 1775, 1278, 508, 525, 1953, 783, 1418, 1755, 108, 395, 3184, 1456, 941, 2814, 519, 686, 3136, 2684, 2798, 2114, 1842, 543, 2400, 1959, 1800, 2907, 2908, 1920, 3210, 1412, 962, 2146, 1408, 1544, 823, 117, 3120, 2163, 457, 2644, 2044, 1122, 1152, 2660, 2959, 1642, 1062, 1741, 3080, 871, 864, 308, 2753, 339, 806, 139, 3011, 1971, 1603, 2145, 123, 2336, 2806, 457, 688, 1029, 695, 53, 2840, 2805, 408, 627, 807, 582, 1401, 1811, 2468, 2358, 1227, 2756, 2077, 378, 1309, 2573, 56, 3211, 681, 1068, 2073, 1192, 1140, 2575, 616, 1358, 905, 844, 2698, 2080, 940, 2319, 2494, 1765, 2141, 2472, 481, 3018, 2430, 2143, 1889, 2830, 2952, 504, 1247, 2757, 1505, 988, 686, 1329, 819, 1862, 3132, 1960, 3127, 1861, 876, 1097, 756, 2717, 1710, 684, 597, 1092, 40, 327, 1993, 166, 2921, 2705, 1982, 1623, 923, 834, 1437, 2807, 2587, 1767, 3154, 2628, 3121, 1448, 3326, 3151, 1804, 510, 2297, 1591, 1044, 2990, 1828, 1594, 3275, 1853, 2537, 74, 1059, 1517, 3148, 2724, 1788],
[1636, 1928, 1024, 2513, 1985, 3275, 3080, 2495, 1462, 969, 2904, 828, 2133, 129, 825, 1494, 783, 1421, 1070, 662, 2001, 2652, 1188, 2452, 3310, 45, 1085, 2849, 576, 1640, 2429, 1386, 1894, 2809, 2880, 130, 1433, 688, 643, 2448, 1633, 2777, 1211, 2426, 1359, 3299, 647, 1961, 2675, 2079, 1358, 1475, 870, 2074, 2210, 2549, 2408, 2109, 274, 2941, 3102, 2704, 1180, 2510, 1089, 1668, 2851, 1457, 3319, 2836, 3093, 1585, 1370, 490, 678, 2338, 2127, 613, 1276, 3149, 876, 2110, 706, 2841, 3048, 2488, 2486, 2741, 2140, 927, 978, 1442, 2152, 1703, 674, 23, 756, 726, 1217, 2849, 2528, 490, 2623, 567, 3169, 1953, 3299, 2067, 2221, 3123, 1904, 2555, 2139, 206, 70, 1099, 669, 246, 2799, 2828, 2592, 1005, 20, 306, 2115, 2917, 3153, 742, 2101, 2586, 1482, 280, 662, 1151, 2084, 3000, 1456, 1509, 292, 2914, 3324, 646, 1909, 2950, 479, 348, 1411, 1216, 1351, 638, 328, 269, 3032, 2445, 1910, 465, 1969, 45, 1360, 582, 3214, 97, 320, 298, 834, 2023, 2199, 2401, 38, 1438, 965, 720, 152, 965, 2348, 659, 19, 682, 1588, 2416, 243, 1944, 921, 1739, 992, 823, 2542, 1942, 70, 1907, 2200, 1180, 2479, 2947, 1587, 2559, 87, 1132, 2621, 369, 171, 1557, 79, 1261, 2623, 2305, 3189, 2226, 3024, 1626, 2158, 516, 868, 792, 2069, 2995, 1730, 2263, 1905, 1092, 484, 2507, 1082, 888, 2070, 654, 3190, 292, 307, 3161, 2697, 1986, 1403, 901, 2761, 848, 1786, 3312, 887, 1446, 2556, 2197, 3007, 1821, 3095, 2429, 2910, 432, 2448, 2364, 2541, 3066, 338, 2861, 2803, 1919]]
NTTInverse(BHat * rHat): [[1954, 1346, 1561, 2402, 2082, 2172, 713, 1618, 1556, 529, 545, 2116, 171, 357, 2189, 3225, 3041, 2117, 2709, 2684, 3018, 2481, 2380, 1743, 2956, 483, 975, 2951, 2508, 3057, 3225, 1070, 85, 973, 2803, 2854, 1088, 1105, 941, 942, 2284, 1184, 2830, 351, 778, 1567, 946, 2593, 1283, 1569, 949, 510, 1102, 731, 2200, 979, 1697, 746, 149, 815, 1370, 3069, 2156, 567, 1978, 1277, 1928, 1699, 2594, 692, 1890, 1503, 351, 1925, 116, 166, 477, 2961, 610, 1142, 1327, 1668, 3139, 157, 2415, 1690, 3073, 345, 573, 443, 2931, 2937, 2767, 1411, 182, 654, 2084, 1922, 2702, 842, 1372, 1301, 2641, 1946, 747, 609, 1712, 946, 3109, 1556, 1444, 2571, 2267, 1509, 439, 1361, 1534, 1436, 2768, 57, 120, 2808, 811, 2091, 2616, 131, 1488, 2424, 1942, 628, 3110, 1074, 1418, 2568, 2945, 3253, 3110, 124, 765, 2421, 9, 2064, 312, 1484, 2794, 893, 2175, 1546, 784, 508, 9, 923, 1413, 1065, 470, 253, 1991, 1815, 1833, 1769, 3274, 1658, 3097, 1726, 2606, 60, 607, 2184, 2823, 2430, 3153, 2004, 920, 1765, 1626, 1603, 1327, 2325, 1038, 1466, 778, 3034, 599, 1194, 184, 3145, 501, 46, 289, 492, 3072, 403, 437, 1497, 1863, 1357, 919, 1662, 1113, 1337, 3275, 3063, 1770, 1536, 3051, 479, 1648, 2206, 634, 2823, 2888, 3126, 2092, 818, 182, 2386, 1232, 991, 2450, 2050, 2001, 3081, 1879, 1756, 1462, 624, 17, 568, 2531, 777, 3075, 2684, 21, 1727, 830, 3229, 2334, 1453, 767, 2059, 1720, 796, 780, 2562, 2477, 317, 2187, 2862, 1023, 529, 3141, 1628, 1585, 277, 3106, 2480],
[586, 3093, 251, 2710, 1969, 1081, 1181, 1433, 1108, 1107, 399, 1048, 1366, 846, 1998, 743, 579, 929, 2878, 2923, 2512, 3241, 3252, 488, 1180, 2798, 1010, 2834, 2825, 676, 3105, 96, 2148, 2627, 2882, 1152, 1968, 426, 2390, 1936, 192, 862, 1317, 3292, 656, 3276, 720, 2661, 3090, 3067, 737, 704, 145, 242, 1123, 1712, 2929, 2776, 1057, 1762, 3244, 411, 3232, 601, 1888, 2482, 1298, 2287, 1461, 944, 1142, 1309, 1950, 1886, 1819, 2243, 3025, 1056, 1745, 477, 3109, 2099, 2219, 1725, 1167, 1732, 2222, 1571, 1718, 1644, 2529, 1252, 3249, 1127, 3209, 3170, 3312, 3303, 8, 1399, 3073, 3274, 3053, 2501, 1481, 2432, 3245, 1518, 1784, 1459, 2310, 3195, 1629, 1507, 1421, 1794, 490, 63, 899, 1656, 726, 3219, 2191, 309, 1422, 733, 355, 2857, 3324, 303, 1906, 1805, 70, 2561, 3031, 728, 1303, 1262, 848, 156, 569, 3106, 1308, 750, 2230, 3038, 1640, 2623, 623, 1655, 2795, 1206, 2318, 2756, 1525, 151, 1031, 1432, 2378, 2271, 1804, 726, 669, 1265, 4, 404, 2758, 1879, 1089, 2790, 2088, 1287, 1111, 2643, 327, 2684, 2948, 2247, 1555, 2490, 1601, 234, 2484, 192, 1495, 1157, 3328, 1183, 3049, 2748, 127, 2047, 659, 3158, 1596, 2146, 3287, 228, 1064, 920, 3096, 40, 359, 328, 1253, 3247, 334, 37, 1873, 1937, 1208, 1138, 2190, 3215, 1318, 2667, 1805, 460, 453, 1732, 499, 597, 381, 954, 2752, 1798, 1608, 3056, 3274, 3082, 2792, 2553, 2056, 635, 1935, 59, 909, 2448, 2486, 3161, 1121, 1408, 1591, 529, 1193, 1237, 1590, 506, 31, 2969, 1477, 2038, 1469, 1581, 1873, 3069]]
u = NTTInverse(BHat * rHat) + e1: [[1953, 1346, 1561, 2403, 2084, 2172, 712, 1618, 1555, 529, 545, 2118, 170, 357, 2189, 3225, 3041, 2117, 2709, 2685, 3019, 2481, 2381, 1742, 2954, 482, 977, 2951, 2508, 3058, 3225, 1071, 85, 975, 2804, 2853, 1089, 1104, 941, 943, 2286, 1184, 2831, 351, 778, 1567, 945, 2591, 1283, 1570, 948, 508, 1102, 732, 2201, 980, 1696, 746, 148, 815, 1371, 3069, 2155, 566, 1977, 1277, 1928, 1699, 2594, 692, 1890, 1501, 352, 1925, 114, 166, 476, 2961, 610, 1142, 1325, 1667, 3137, 158, 2414, 1690, 3072, 345, 575, 445, 2930, 2936, 2769, 1412, 182, 654, 2084, 1923, 2700, 840, 1371, 1299, 2640, 1947, 745, 609, 1712, 946, 3109, 1557, 1445, 2569, 2267, 1509, 440, 1361, 1534, 1435, 2768, 57, 120, 2809, 810, 2092, 2614, 131, 1487, 2423, 1942, 630, 3111, 1073, 1418, 2567, 2946, 3252, 3109, 123, 766, 2420, 9, 2064, 311, 1484, 2794, 894, 2177, 1544, 785, 509, 9, 922, 1415, 1064, 471, 254, 1992, 1815, 1834, 1769, 3276, 1658, 3097, 1728, 2606, 61, 607, 2184, 2825, 2429, 3153, 2002, 919, 1764, 1626, 1605, 1328, 2324, 1039, 1466, 777, 3034, 598, 1194, 185, 3146, 500, 45, 288, 493, 3073, 402, 435, 1497, 1862, 1357, 919, 1661, 1113, 1338, 3274, 3063, 1771, 1537, 3050, 478, 1647, 2207, 634, 2825, 2886, 3128, 2090, 819, 182, 2387, 1231, 993, 2449, 2048, 2002, 3081, 1879, 1755, 1462, 623, 18, 569, 2531, 776, 3075, 2685, 21, 1729, 830, 3228, 2333, 1455, 767, 2059, 1719, 798, 778, 2562, 2477, 317, 2186, 2862, 1024, 528, 3140, 1628, 1585, 276, 3107, 2480],
[587, 3093, 251, 2710, 1969, 1081, 1182, 1433, 1108, 1105, 399, 1048, 1365, 846, 1997, 742, 580, 931, 2879, 2923, 2512, 3241, 3252, 490, 1179, 2799, 1010, 2835, 2827, 674, 3107, 96, 2146, 2627, 2883, 1153, 1968, 428, 2391, 1936, 193, 864, 1317, 3294, 655, 3275, 720, 2662, 3091, 3067, 737, 704, 145, 241, 1123, 1712, 2930, 2778, 1057, 1762, 3246, 411, 3231, 600, 1889, 2482, 1299, 2287, 1463, 943, 1142, 1309, 1950, 1886, 1821, 2242, 3026, 1056, 1745, 476, 3110, 2101, 2219, 1725, 1167, 1732, 2224, 1570, 1718, 1644, 2528, 1250, 3250, 1127, 3208, 3169, 3313, 3305, 8, 1399, 3073, 3274, 3054, 2502, 1480, 2433, 3244, 1517, 1784, 1458, 2312, 3195, 1628, 1507, 1420, 1794, 491, 64, 899, 1657, 725, 3219, 2189, 309, 1422, 733, 356, 2856, 3323, 301, 1907, 1805, 70, 2561, 3030, 729, 1302, 1263, 847, 155, 570, 3105, 1308, 751, 2231, 3037, 1641, 2622, 623, 1657, 2796, 1205, 2317, 2754, 1524, 153, 1031, 1432, 2379, 2272, 1805, 726, 670, 1266, 4, 404, 2760, 1879, 1089, 2789, 2089, 1287, 1112, 2643, 325, 2684, 2948, 2248, 1555, 2491, 1599, 233, 2484, 192, 1496, 1156, 3328, 1184, 3050, 2747, 127, 2047, 658, 3156, 1595, 2148, 3287, 227, 1063, 919, 3096, 40, 358, 326, 1253, 3248, 334, 37, 1872, 1937, 1208, 1137, 2191, 3215, 1317, 2666, 1804, 460, 455, 1732, 499, 596, 379, 954, 2752, 1800, 1607, 3057, 3274, 3081, 2791, 2552, 2055, 634, 1936, 58, 909, 2448, 2486, 3161, 1121, 1407, 1592, 530, 1191, 1237, 1589, 507, 30, 2970, 1475, 2039, 1470, 1582, 1873, 3070]]

mu: [0, 0, 0, 0, 1665, 0, 0, 0, 0, 1665, 0, 1665, 1665, 0, 0, 1665, 0, 0, 1665, 0, 0, 1665, 0, 0, 1665, 1665, 1665, 1665, 0, 0, 0, 1665, 0, 0, 0, 1665, 0, 1665, 1665, 1665, 1665, 0, 1665, 0, 0, 0, 0, 0, 1665, 1665, 1665, 1665, 0, 1665, 0, 0, 0, 0, 1665, 0, 0, 0, 0, 1665, 1665, 1665, 1665, 0, 0, 1665, 0, 0, 1665, 1665, 1665, 1665, 1665, 0, 0, 0, 1665, 0, 1665, 0, 1665, 1665, 1665, 1665, 1665, 1665, 0, 1665, 1665, 1665, 1665, 0, 0, 0, 1665, 1665, 0, 1665, 0, 1665, 1665, 0, 1665, 0, 1665, 0, 0, 0, 1665, 1665, 0, 1665, 0, 1665, 1665, 0, 1665, 1665, 0, 1665, 1665, 0, 0, 0, 0, 1665, 1665, 0, 0, 1665, 0, 1665, 1665, 0, 1665, 0, 0, 1665, 0, 1665, 1665, 0, 0, 1665, 0, 0, 0, 0, 1665, 0, 1665, 1665, 0, 0, 1665, 1665, 1665, 0, 1665, 1665, 0, 0, 1665, 1665, 0, 0, 1665, 1665, 1665, 1665, 0, 1665, 1665, 0, 0, 1665, 0, 0, 1665, 1665, 0, 0, 1665, 1665, 0, 1665, 1665, 0, 1665, 0, 1665, 1665, 0, 0, 1665, 1665, 1665, 0, 0, 0, 1665, 1665, 0, 1665, 0, 0, 1665, 1665, 0, 0, 1665, 1665, 0, 0, 0, 1665, 1665, 1665, 0, 1665, 0, 0, 1665, 1665, 1665, 0, 1665, 0, 0, 0, 1665, 0, 0, 1665, 0, 1665, 1665, 1665, 0, 0, 1665, 0, 0, 1665, 1665, 0, 1665, 0, 1665, 0, 0, 0]
tHat^T * rHat: [2898, 604, 1851, 197, 557, 1080, 2663, 933, 720, 668, 749, 1062, 1483, 1476, 2960, 3036, 1765, 1359, 218, 2737, 2553, 462, 2252, 354, 1127, 347, 1348, 1699, 2478, 1293, 2625, 906, 2098, 1280, 1579, 728, 149, 3146, 2194, 1059, 1410, 2619, 997, 1785, 2820, 2761, 761, 2061, 181, 2980, 3068, 1359, 1662, 782, 2010, 699, 884, 1048, 617, 624, 1691, 81, 2861, 676, 2791, 206, 2391, 1580, 1438, 850, 1898, 2109, 2720, 1645, 2249, 3107, 2672, 3237, 1103, 468, 910, 594, 1827, 775, 934, 3169, 1070, 1433, 1175, 693, 2250, 320, 2731, 1428, 2938, 2619, 1695, 3008, 2426, 3271, 56, 310, 271, 1992, 107, 2799, 2512, 467, 35, 622, 2631, 1385, 2686, 593, 252, 531, 1783, 1991, 1599, 2361, 3057, 351, 899, 2698, 783, 2618, 1876, 367, 1074, 52, 3165, 1141, 2789, 1714, 3135, 3309, 2522, 1471, 681, 207, 1334, 622, 418, 3034, 1884, 2753, 2536, 2857, 935, 1322, 2436, 1783, 1149, 144, 449, 2373, 3175, 2481, 2831, 2889, 2556, 866, 622, 1406, 2082, 2905, 1659, 753, 2708, 1557, 2755, 186, 2609, 2913, 682, 2745, 2057, 1080, 2787, 1890, 2345, 653, 2151, 2866, 2966, 588, 601, 2193, 459, 502, 727, 1304, 2099, 1200, 1624, 2509, 2910, 20, 1596, 198, 2915, 1272, 701, 1040, 2329, 323, 793, 1409, 2345, 2112, 544, 237, 2468, 1139, 2860, 789, 3030, 577, 352, 1310, 862, 1729, 1967, 2303, 834, 1753, 2271, 356, 3272, 973, 1334, 1513, 552, 42, 325, 2105, 37, 1164, 1976, 166, 1473, 2088, 485, 1945, 454, 666, 288, 2608, 3144, 121, 730, 2849, 1823, 1620, 55, 1461]
NTTInverse(tHat^T * rHat): [619, 2111, 495, 3086, 1708, 2575, 1456, 2210, 3041, 2742, 2098, 3252, 2817, 563, 2989, 768, 1240, 1666, 2270, 385, 1667, 52, 3302, 3155, 520, 1750, 742, 2379, 1962, 1056, 2747, 2281, 2575, 131, 2532, 31, 2060, 2972, 2587, 734, 1013, 1051, 2209, 1470, 1552, 2181, 3082, 338, 2982, 1455, 2472, 685, 1576, 1443, 1139, 50, 201, 2373, 1957, 717, 2787, 2950, 3013, 2403, 1364, 361, 2847, 1063, 174, 1698, 1539, 2669, 3038, 636, 659, 2291, 1259, 82, 1523, 581, 2524, 392, 3100, 2847, 1038, 2746, 23, 2669, 1076, 1034, 3234, 2790, 2650, 1380, 3039, 1605, 2565, 127, 2442, 2758, 579, 495, 2510, 3169, 2450, 274, 1849, 1691, 2280, 523, 1361, 252, 108, 2708, 852, 1381, 2999, 714, 2995, 1596, 713, 1402, 1746, 2727, 2152, 2127, 2957, 2889, 3305, 1762, 1863, 715, 3261, 2306, 1267, 1410, 1288, 1353, 3289, 224, 2433, 3119, 2208, 3227, 2664, 2168, 158, 1760, 2356, 965, 1484, 2864, 2377, 297, 227, 2099, 1129, 1150, 132, 34, 865, 2040, 1403, 422, 3202, 2231, 2703, 3013, 1216, 1791, 288, 3235, 1150, 3176, 628, 1581, 2397, 2726, 461, 295, 2414, 3327, 1897, 211, 444, 3181, 2242, 2974, 539, 2391, 3091, 2360, 1393, 2294, 3018, 1880, 1651, 1807, 1370, 448, 1832, 1566, 2529, 1121, 2210, 125, 874, 1002, 3204, 2720, 2624, 2630, 2780, 2283, 3176, 2590, 3282, 2094, 409, 35, 217, 2400, 3143, 649, 118, 242, 1685, 2327, 2268, 1264, 701, 3035, 713, 2364, 2667, 1838, 593, 1713, 1872, 1164, 2830, 700, 742, 2714, 1303, 525, 2451, 338, 652, 1462, 927, 3254, 1730, 534, 2147, 1083]
e2 + mu: [1, 1, 1, 3328, 1665, 3328, 0, 1, 0, 1665, 3328, 1666, 1664, 1, 3328, 1666, 3328, 3328, 1664, 1, 0, 1665, 3327, 0, 1665, 1664, 1666, 1667, 0, 0, 2, 1666, 3328, 0, 1, 1665, 3328, 1664, 1665, 1664, 1663, 3328, 1666, 1, 0, 3328, 3328, 0, 1665, 1664, 1664, 1666, 0, 1664, 0, 0, 3328, 0, 1667, 0, 0, 1, 0, 1667, 1664, 1665, 1663, 0, 1, 1666, 0, 1, 1667, 1666, 1666, 1666, 1665, 0, 0, 1, 1663, 1, 1665, 0, 1663, 1665, 1666, 1665, 1666, 1665, 1, 1663, 1663, 1667, 1665, 0, 1, 1, 1664, 1664, 0, 1664, 3327, 1665, 1666, 3327, 1667, 1, 1666, 3328, 1, 2, 1664, 1665, 3328, 1664, 1, 1667, 1663, 3328, 1666, 1665, 3328, 1664, 1665, 0, 2, 0, 0, 1665, 1666, 0, 3328, 1664, 0, 1666, 1664, 3328, 1666, 0, 2, 1664, 3327, 1665, 1664, 3328, 3328, 1666, 3328, 1, 0, 1, 1665, 0, 1666, 1663, 3327, 3328, 1665, 1665, 1664, 3327, 1666, 1664, 3327, 2, 1664, 1663, 2, 1, 1664, 1666, 1665, 1665, 0, 1665, 1666, 1, 3327, 1665, 0, 0, 1666, 1665, 1, 1, 1664, 1666, 3328, 1663, 1666, 1, 1667, 3328, 1665, 1664, 1, 3328, 1665, 1664, 1665, 3328, 0, 0, 1666, 1665, 3328, 1665, 1, 3327, 1664, 1666, 0, 1, 1666, 1665, 3328, 3328, 3327, 1664, 1664, 1665, 3328, 1665, 3328, 0, 1667, 1664, 1665, 0, 1664, 0, 1, 0, 1665, 0, 1, 1664, 0, 1665, 1665, 1665, 0, 3328, 1664, 0, 0, 1666, 1665, 0, 1665, 3328, 1665, 0, 0, 0]
v = NTTInverse(tHat^T * rHat) + e2 + mu: [620, 2112, 496, 3085, 44, 2574, 1456, 2211, 3041, 1078, 2097, 1589, 1152, 564, 2988, 2434, 1239, 1665, 605, 386, 1667, 1717, 3300, 3155, 2185, 85, 2408, 717, 1962, 1056, 2749, 618, 2574, 131, 2533, 1696, 2059, 1307, 923, 2398, 2676, 1050, 546, 1471, 1552, 2180, 3081, 338, 1318, 3119, 807, 2351, 1576, 3107, 1139, 50, 200, 2373, 295, 717, 2787, 2951, 3013, 741, 3028, 2026, 1181, 1063, 175, 35, 1539, 2670, 1376, 2302, 2325, 628, 2924, 82, 1523, 582, 858, 393, 1436, 2847, 2701, 1082, 1689, 1005, 2742, 2699, 3235, 1124, 984, 3047, 1375, 1605, 2566, 128, 777, 1093, 579, 2159, 2508, 1505, 787, 272, 187, 1692, 617, 522, 1362, 254, 1772, 1044, 851, 3045, 3000, 2381, 1329, 1595, 2379, 3067, 1745, 1062, 488, 2127, 2959, 2889, 3305, 98, 200, 715, 3260, 641, 1267, 3076, 2952, 1352, 1626, 224, 2435, 1454, 2206, 1563, 999, 2167, 157, 97, 2355, 966, 1484, 2865, 713, 297, 1893, 433, 1127, 1149, 1797, 1699, 2529, 2038, 3069, 2086, 3200, 2233, 1038, 1347, 1218, 1792, 1952, 1572, 2815, 1512, 628, 3246, 734, 2727, 459, 1960, 2414, 3327, 234, 1876, 445, 3182, 577, 1311, 538, 725, 1428, 2361, 3060, 2293, 1354, 215, 1652, 1806, 3035, 2112, 168, 1565, 2529, 1121, 547, 1790, 873, 2667, 3205, 2718, 959, 967, 2780, 2284, 1513, 926, 3281, 2093, 407, 1699, 1881, 736, 3142, 2314, 117, 242, 23, 662, 604, 1264, 2365, 3035, 714, 2364, 1003, 1838, 594, 48, 1872, 2829, 1166, 2365, 742, 2713, 2967, 525, 2451, 2004, 2317, 1462, 2592, 3253, 66, 534, 2147, 1083]

c: 597A06DEB88172BA8D7CDE8D82CAA234B8112AF8A72F1AB4CEA1EFCB2D868D53D212E303B70E7E521AB0F4B5DB4F51159248BFB275361BEF883752C78B8D4712275385536A4B0A96E3C23EA6C17EA92B602616E5821E5753A4736C4039C20C923CCECB579805587C0CE72218BB1AB12452F8E154CB8643328142F9B340A641C6F295E5ECF2E048BC7FC79BC5B94277C868D8E536B50425809DCFA024A3905CBA550AD3BB52B459AC38FABC9BC00EBA03EC0906725B4FE4E976F174320047B31D15891365BA482388F0FB973B85224FB00BA865AFAB3C9A1B7D489F7B982D0BD470EF948ECB5B3920AF89035960123B1F8630D763681BFD671567EFBB1E6276AA4FB2DFA9C3948DB7F083F28383B77BC514AF9D68D22E2487C20163C02B0BBF23BBCE0650F84FF8CE02C74E9E11D6F30EC5FA8A012ADC3B89627C7DE855C1FBBEB5DCDE84D05E36C5566E5551B58750A411642639B27864F7E005978FFE256B757D13DA663FC3BB0794A27CF7585D12F22D953B285459FDC9BCDFCDCCB7BF3E4E362D2891D583855F5D9487E6FB217E2E45EE0BD9AFC289F4D564581209A3ACA31795A124BD1BBAEA846755C8EA7810EAA73060E86FB5FDF3FBE72F806BB1BFBFBAC0C7B16BFE74250277ECF5F541571B8A975050917FDF781FEA17B585E3C6DBFE77B1E48A16504C3A38901156100CAFEC2ED939AE9A9EDFC9C0F8C7F55CC93E5DDD0B3DE1C6EDAE2B7EE34C6101F011B5904F693D286356B54C86CE8BCFEA9DBFEC21C1EF0ECC9105005BAA377D829DCA2CBF5EA5F31B71D446B833E00619819D7FC6024052499757A2765F19CD2B36C2488599DC5247494FABE81EEBEFD3BE75C4780E43A50418C5DB2FF359C5A6DE286EF5951E2709486EDC9CC49D0724ECA3F2C0B75F8A36CE862388F00B3C593D1C8C6AC45D73A72FF6B4F805B131ED4EAF5601D7B73B0E3724E75D58DD50F5871C54A37C1481331759F4BE86FB58A2EE003130F66E187C8BA5015BE713296589ACAFBF6596897E03D4920C91F26333B7BF1798AF815C93D4DF55BD47A08249BF113063FBB39503E9B6D43EAC7B0C305A
